- linearly independent logic
- линейно независимая логика
English-Russian dictionary of computer science and programming. 2013.
linearly independent logic
Смотреть что такое "linearly independent logic" в других словарях:
Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… … Wikipedia
Matrix (mathematics) — Specific elements of a matrix are often denoted by a variable with two subscripts. For instance, a2,1 represents the element at the second row and first column of a matrix A. In mathematics, a matrix (plural matrices, or less commonly matrixes)… … Wikipedia
Eigenvalues and eigenvectors — For more specific information regarding the eigenvalues and eigenvectors of matrices, see Eigendecomposition of a matrix. In this shear mapping the red arrow changes direction but the blue arrow does not. Therefore the blue arrow is an… … Wikipedia
Transcendence theory — In mathematics, transcendence theory is a branch of number theory that investigates transcendental numbers, in both qualitative and quantitative ways.TranscendenceThe fundamental theorem of algebra tells us that if we have a non zero polynomial… … Wikipedia
Matroid — In combinatorics, a branch of mathematics, a matroid ( /ˈmeɪ … Wikipedia
Schanuel's conjecture — In mathematics, specifically transcendence theory, Schanuel s conjecture is the following statement::Given any n complex numbers z 1,..., z n which are linearly independent over the rational numbers Q, the extension field Q( z 1,..., z n ,exp( z… … Wikipedia
If and only if — Iff redirects here. For other uses, see IFF (disambiguation). ↔ ⇔ ≡ Logical symbols representing iff. In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between… … Wikipedia
Linear algebra — R3 is a vector (linear) space, and lines and planes passing through the origin are vector subspaces in R3. Subspaces are a common object of study in linear algebra. Linear algebra is a branch of mathematics that studies vector spaces, also called … Wikipedia
Reed–Muller code — Reed Muller codes are a family of linear error correcting codes used in communications. They are named after their discoverers, Irving S. Reed and D. E. Muller. Muller discovered the codes, and Reed proposed the majority logic decoding for the… … Wikipedia
Zhegalkin polynomial — Zhegalkin (also Zegalkin or Gegalkine) polynomials form one of many possible representations of the operations of Boolean algebra. Introduced by the Russian mathematician I.I. Zhegalkin in 1927, they are the polynomials of ordinary high school… … Wikipedia
Orthogonality — The line segments AB and CD are orthogonal to each other. Orthogonality occurs when two things can vary independently, they are uncorrelated, or they are perpendicular. Contents 1 Mathematics … Wikipedia
